An Arbitrary Starting Homotopy-Like Simplicial Algorithm for Computing an Integer Point in a Class of Polytopes

نویسنده

  • Chuangyin Dang
چکیده

Let P be a polytope satisfying that each row of the defining matrix has at most one positive entry. Determining whether there is an integer point in P is known to be an NP-complete problem. By introducing an integer labeling rule on an augmented set and applying a triangulation of the Euclidean space, we develop in this paper a variable dimension method for computing an integer point in P. The method starts from an arbitrary integer point and follows a finite simplicial path that either leads to an integer point in P or proves no such point exists.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Computing an Integer Point of a Class of Polytopes with an Arbitrary Starting Variable Dimension Algorithm

Abstract An arbitrary starting variable dimension algorithm is developed for computing an integer point of a polytope, P = {x | Ax ≤ b}, which satisfies that each row of A has at most one positive entry. The algorithm is derived from an integer labelling rule and a triangulation of the space. It consists of two phases, one of which forms a variable dimension algorithm and the other a full-dimen...

متن کامل

A New Arbitrary Starting Simplicial Algorithm for Computing an Integer Point of an n-Dimensional Simplex∗

Determining whether there is an integer point in an n-dimensional simplex is an NPcomplete problem. In this paper, a new arbitrary starting variable dimension algorithm is developed for computing an integer point of an n-dimensional simplex. The algorithm is derived from an introduction of an integer labeling rule and an application of a triangulation of the space and is composed of two phases,...

متن کامل

A new algorithm for computing SAGBI bases up to an arbitrary degree

We present a new algorithm for computing a SAGBI basis up to an arbitrary degree for a subalgebra generated by a set of homogeneous polynomials. Our idea is based on linear algebra methods which cause a low level of complexity and computational cost. We then use it to solve the membership problem in subalgebras.

متن کامل

An Arbitrary Starting Simplicial Algorithm for Constructively Proving Tarski’s Fixed Point Theorem on an n-dimensional Box∗

The well-known Tarski’s fixed point theorem asserts that an increasing mapping from an n-dimensional box to itself has a fixed point. In this paper, a constructive proof of this theorem is obtained from an application of the (n+1)-ray arbitrary starting simplicial algorithm. The algorithm assigns an integer label to each point of the box and employs a triangulation to subdivide the box into sim...

متن کامل

A Simplicial Algorithm for Computing an Integer Zero Point of a Mapping with the Direction Preserving Property

A mapping f : Z → R is said to possess the direction preserving property if fi(x) > 0 implies fi(y) ≥ 0 for any integer points x and y with ‖x − y‖∞ ≤ 1. In this paper, a simplicial algorithm is developed for computing an integer zero point of a mapping with the direction preserving property. We assume that there is an integer point x with c ≤ x ≤ d satisfying that max1≤i≤n(xi − x 0 i )fi(x) > ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • SIAM J. Discrete Math.

دوره 23  شماره 

صفحات  -

تاریخ انتشار 2009